Lakhnech, Yassine: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Volume 3253 || Formal Verification of an Avionics Sensor Voter Using SCADE

Lakhnech, Yassine, Yovine, Sergio

Year:

2004

Language:

english

File:

PDF, 317 KB

english, 2004

2

Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions

Romain Janvier, Yassine Lakhnech, Laurent Mazaré

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 360 KB

english, 2007

3

Using model-checking for timed automata to parameterize logic control programs

Stefan Kowalewski, Sebastian Engell, Ralf Huuck, Yassine Lakhnech, Ben Lukoschus, Luis Urbina

Journal:

Computers & Chemical Engineering

Year:

1998

Language:

english

File:

PDF, 440 KB

english, 1998

4

Metric temporal logic with durations

Yassine Lakhneche, Jozef Hooman

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 2.27 MB

english, 1995

5

Automatic Generation of Invariants

Saddek Bensalem, Yassine Lakhnech

Journal:

Formal Methods in System Design

Year:

1999

Language:

english

File:

PDF, 100 KB

english, 1999

6

Information flow control of component-based distributed systems

Lilia Sfaxi, Takoua Abdellatif, Riadh Robbana, Yassine Lakhnech

Journal:

Concurrency and Computation: Practice and Experience

Year:

2012

Language:

english

File:

PDF, 1.81 MB

english, 2012

7

A symbolic decision procedure for cryptographic protocols with time stamps

Liana Bozga, Cristian Ene, Yassine Lakhnech

Journal:

The Journal of Logic and Algebraic Programming

Year:

2005

Language:

english

File:

PDF, 436 KB

english, 2005

8

Iterating transducers

Dennis Dams, Yassine Lakhnech, Martin Steffen

Journal:

The Journal of Logic and Algebraic Programming

Year:

2002

Language:

english

File:

PDF, 214 KB

english, 2002

9

[Lecture Notes in Computer Science] Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Volume 3253 || Real-Time Testing with Timed Automata Testers and Coverage Criteria

Lakhnech, Yassine, Yovine, Sergio

Year:

2004

Language:

english

File:

PDF, 274 KB

english, 2004

10

[Lecture Notes in Computer Science] Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Volume 3253 || Model-Checking for Weighted Timed Automata

Lakhnech, Yassine, Yovine, Sergio

Year:

2004

Language:

english

File:

PDF, 249 KB

english, 2004

11

Verifying Untimed and Timed Aspects of the Experimental Batch Plant

Huuck, Ralf, Lukoschus, Ben, Lakhnech, Yassine

Journal:

European Journal of Control

Year:

2001

Language:

english

File:

PDF, 238 KB

english, 2001

12

[IEEE ICC 2012 - 2012 IEEE International Conference on Communications - Ottawa, ON, Canada (2012.06.10-2012.06.15)] 2012 IEEE International Conference on Communications (ICC) - A formal taxonomy of privacy in voting protocols

Dreier, Jannik, Lafourcade, Pascal, Lakhnech, Yassine

Year:

2012

Language:

english

File:

PDF, 179 KB

english, 2012

13

[ACM Press the 17th ACM conference - Chicago, Illinois, USA (2010.10.04-2010.10.08)] Proceedings of the 17th ACM conference on Computer and communications security - CCS '10 - Computational indistinguishability logic

Barthe, Gilles, Daubignard, Marion, Kapron, Bruce, Lakhnech, Yassine

Year:

2010

Language:

english

File:

PDF, 641 KB

english, 2010

14

[ACM Press the 15th ACM conference - Alexandria, Virginia, USA (2008.10.27-2008.10.31)] Proceedings of the 15th ACM conference on Computer and communications security - CCS '08 - Towards automated proofs for asymmetric encryption schemes in the random oracle model

Courant, Judicaël, Daubignard, Marion, Ene, Cristian, Lafourcade, Pascal, Lakhnech, Yassine

Year:

2008

Language:

english

File:

PDF, 677 KB

english, 2008

15

[ACM Press the 2013 ACM SIGSAC conference - Berlin, Germany (2013.11.04-2013.11.08)] Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 - Fully automated analysis of padding-based encryption in the computational model

Barthe, Gilles, Crespo, Juan Manuel, Grégoire, Benjamin, Kunz, César, Lakhnech, Yassine, Schmidt, Benedikt, Zanella-Béguelin, Santiago

Year:

2013

Language:

english

File:

PDF, 279 KB

english, 2013

16

[Lecture Notes in Computer Science] Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Volume 3253 || Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata

Lakhnech, Yassine, Yovine, Sergio

Year:

2004

Language:

english

File:

PDF, 234 KB

english, 2004

17

[ACM Press the 14th international ACM Sigsoft symposium - Boulder, Colorado, USA (2011.06.20-2011.06.24)] Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering - CBSE '11 - Automating information flow control in component-based distributed systems

Abdellatif, Takoua, Sfaxi, Lilia, Robbana, Riadh, Lakhnech, Yassine

Year:

2011

Language:

english

File:

PDF, 919 KB

english, 2011

18

Automated Proofs of Block Cipher Modes of Operation

Gagné, Martin, Lafourcade, Pascal, Lakhnech, Yassine, Safavi-Naini, Reihaneh

Journal:

Journal of Automated Reasoning

Year:

2016

Language:

english

File:

PDF, 880 KB

english, 2016

19

[IEEE 2012 IEEE 25th Computer Security Foundations Symposium (CSF) - Cambridge, MA, USA (2012.06.25-2012.06.27)] 2012 IEEE 25th Computer Security Foundations Symposium - Generic Indifferentiability Proofs of Hash Designs

Daubignard, Marion, Fouque, Pierre-Alain, Lakhnech, Yassine

Year:

2012

Language:

english

File:

PDF, 500 KB

english, 2012

20

On the existence and decidability of unique decompositions of processes in the applied π-calculus

Dreier, Jannik, Ene, Cristian, Lafourcade, Pascal, Lakhnech, Yassine

Journal:

Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 644 KB

english, 2016

21

[Lecture Notes in Computer Science] Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Volume 3253 || Bounded Model Checking for Region Automata

Lakhnech, Yassine, Yovine, Sergio

Year:

2004

Language:

english

File:

PDF, 298 KB

english, 2004

22

[Lecture Notes in Computer Science] Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Volume 3253 || Monitoring Temporal Properties of Continuous Signals

Lakhnech, Yassine, Yovine, Sergio

Year:

2004

Language:

english

File:

PDF, 334 KB

english, 2004